Nuprl Definition : mux-component
11,40
postcript
pdf
mux-component(
Ca
;
Cb
)(
X
)
== let
Ra
,
Ya
= (
Ca
(interface-left(
X
)))
==
in
==
let
Rb
,
Yb
= (
Cb
(interface-right(
X
))) in <scheme-plus(
Ra
;
Rb
), interface-union(
Ya
;
Yb
)>
latex
Definitions
x
.
A
(
x
)
,
interface-left(
X
)
,
let
x
,
y
=
A
in
B
(
x
;
y
)
,
f
(
a
)
,
interface-right(
X
)
,
<
a
,
b
>
,
scheme-plus(
A
;
B
)
,
interface-union(
X
;
Y
)
FDL editor aliases
mux-component
origin
x.A(x)